type inference meaning in English
hindley-milner类型推论
类型推断
类型推论
Examples
- Type inference is supported only for generic procedures
只有泛型过程才支持类型推理。 - You can invoke type inference only by omitting all the type arguments
只需省略所有类型变量，即可调用类型推理。 - Therefore type inference does not work with methods that have no parameters
因此，类型推断不适用于没有参数的方法。 - The same rules for type inference apply to static methods as well as instance methods
相同的类型推断规则也适用于静态方法以及实例方法。 - The compiler applies type inference logic to all generic methods that share the same name
编译器向共享相同名称的所有泛型方法应用类型推断逻辑。